@$deg {HAM}1 =\|u.\|I@>
@$argc {HAM}1 \&{int}@>
@$argv {HAM}1 \&{char} ${}{*}[\,]{}$@>
@$main {HAM}1 \&{int} (\,)@>
@$g {HAM}1 \&{Graph} ${}{*}{}$@>
@$x {HAM}1 \&{Vertex} ${}{*}{}$@>
@$y {HAM}1 \&{Vertex} ${}{*}{}$@>
@$z {HAM}1 \&{Vertex} ${}{*}{}$@>
@$tmax {HAM}1 \&{Vertex} ${}{*}{}$@>
@$t {HAM}1 \&{register} \&{Vertex} ${}{*}{}$@>
@$u {HAM}1 \&{register} \&{Vertex} ${}{*}{}$@>
@$v {HAM}1 \&{register} \&{Vertex} ${}{*}{}$@>
@$a {HAM}1 \&{register} \&{Arc} ${}{*}{}$@>
@$aa {HAM}1 \&{register} \&{Arc} ${}{*}{}$@>
@$d {HAM}1 \&{register} \&{int}@>
@$b {HAM}1 \&{Arc} ${}{*}{}$@>
@$bb {HAM}1 \&{Arc} ${}{*}{}$@>
@$count {HAM}1 \&{int}@>
@$dmin {HAM}1 \&{int}@>
@$modulus {HAM}1 \&{int}@>
@$taken {HAM}3 =\|v.\|I@>
@$vert {HAM}4 =\|w.\|V@>
@$ark {HAM}4 =\|x.\|A@>
@$advance {HAM}4 label@>
@$try_next {HAM}4 label@>
@$restore {HAM}4 label@>
@$backtrack {HAM}4 label@>
@$done {HAM}4 label@>
@$restore_all {HAM}7 label@>
